Quantitative Modellierung des Leistungsverhaltens SOA-basierter Systeme mit FMC-QE
نویسنده
چکیده
Der folgende Artikel gibt einen Kurzüberblick über ein Promotionsvorhaben im Bereich der Quantitativen Modellierung. In der Dissertation soll die Modellierungsmethodik FMC-QE (Fundamental Modeling Concepts for Quantitative Evaluation) beschrieben werden. FMC-QE basiert auf der Modellierungssprache FMC sowie den Modellierungsund Berechnungsmethoden der Warteschlangentheorie und der Zeitbehafteten Petrinetze mit dem Hauptaugenmerk auf hierarchische Modellierung. Die Berechnung der analytischen Modelle hat das Verkehrsflussgesetz und das Gesetz von Little als Grundlage.
منابع مشابه
Hesperia: Framework zur Szenario-gestützten Modellierung und Entwicklung Sensor-basierter Systeme
Moderne eingebettete Systeme durchdringen nicht mehr nur industrielle Domänen der Automatisierungstechnik, sondern beispielsweise in Form zunehmend intelligenterer Fahrerassistenzsysteme auch Domänen, in denen sie direkt in Wechselwirkung mit dem Konsumenten und ihrer Umwelt agieren. Die verwendeten Algorithmen werden zwar häufig durch Methoden des virtual prototyping bereits im Labor getestet,...
متن کاملObjektorientierte Modellierung, Simulation und Regelung dynamischer Systeme am Beispiel eines Oxyfuel-Kraftwerksprozesses (An Oxyfuel-Power-Plant as an Example for Object Oriented Modelling, Simulation and Control of Dynamic Systems)
Dieser Beitrag befasst sich mit der objektorientierten Modellierung, Simulation und Regelung dynamischer, technischer Systeme. Am Beispiel des Rauchgaskreislaufs eines Oxyfuel-Prozesses werden dabei die Stärken und Besonderheiten der Modellierung mit der objektorientierten Beschreibungssprache Modelica aus Sicht der Regelungstechnik aufgezeigt. Zur Modellierung der thermodynamischen Zusammenhän...
متن کاملModellierung dynamischer Systeme mit zeitkontinuierlichen rekurrenten Fuzzy-Systemen (Modeling of Dynamical Systems Using Continuous-time Recurrent Fuzzy Systems)
In diesem Beitrag wird die Anwendung zeitkontinuierlicher rekurrenter Fuzzy-Systeme (KRFS) zur Modellbildung technischer Systeme beschrieben. Ausgehend von der Systembeschreibung rekurrenter Fuzzy-Systeme werden Verfahren vorgestellt, mit denen das KRFS das Verhalten des Prozesses anhand von Messdaten und qualitativem Prozesswissen erlernen kann. Die Leistungsfähigkeit wird anhand der Modellier...
متن کاملModellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines
• Durch die starke Vernetzung ehemals unabhängiger Funktionen ergeben sich ungewollte Interaktionen und Seiteneffekte durch Nebenläufigkeit. Als Beispiel sei hier die Zentralverriegelung genannt, die neben der reinen Funktionalität des Verund Aufschließens mit Komfortfunktionen zum Einstellen von Sitz, Spiegeln und Radiosendern in Abhängigkeit vom verwendeten Schlüssel, mit Sicherheitsfunktione...
متن کاملFunktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen
Elektronische Systeme sind angesichts der zunehmenden Anforderungen an ihre Energieeffizienz immer häufiger mit einem aktivem Power-Management (PM) ausgestattet. Hierbei werden Spannungen und Frequenzen skaliert oder inaktive Bereiche zeitweise von der Versorgungsspannung getrennt. Die Steuerung erfolgt zumeist softwareseitig, wobei die Komplexität aufgrund der stetig wachsenden Anzahl von Powe...
متن کامل